:: Monad m => (a -> b) -> (m a -> m b) -package:base-compat package:basic-prelude

map = fmap